A Formal Validation Model for the Netconf Protocol

نویسندگان

  • Sylvain Hallé
  • Rudy Deca
  • Omar Cherkaoui
  • Roger Villemaire
  • Daniel Puche
چکیده

Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate and commit, which currently lack a clear description and an information model. We propose in this paper a model for validation based on XML schema trees. By using an existing logical formalism called TQL, we express important dependencies between parameters that appear in those information models, and automatically check these dependencies on sample XML trees in reasonable time. We illustrate our claim by showing different rules and an example of validation on a Virtual Private Network.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

RFC 6022 YANG Module for NETCONF

This document defines a Network Configuration Protocol (NETCONF) data model to be used to monitor the NETCONF protocol. The monitoring data model includes information about NETCONF datastores, sessions, locks, and statistics. This data facilitates the management of a NETCONF server. This document also defines methods for NETCONF clients to discover data models supported by a NETCONF server and ...

متن کامل

RFC 6022 YANG Module for NETCONF Monitoring

This document defines a Network Configuration Protocol (NETCONF) data model to be used to monitor the NETCONF protocol. The monitoring data model includes information about NETCONF datastores, sessions, locks, and statistics. This data facilitates the management of a NETCONF server. This document also defines methods for NETCONF clients to discover data models supported by a NETCONF server and ...

متن کامل

Internet Engineering Task Force (ietf) Network Configuration Protocol (netconf) Access Control Model

The standardization of network configuration interfaces for use with the Network Configuration Protocol (NETCONF) requires a structured and secure operating environment that promotes human usability and multi-vendor interoperability. There is a need for standard mechanisms to restrict NETCONF protocol access for particular users to a pre-configured subset of all available NETCONF protocol opera...

متن کامل

Web Services Based Configuration Management for IP Network Devices

As the Internet continues to grow, current networks are composed of a large number network devices from diverse vendors. The tasks of operating and managing these devices are getting more difficult and complicated. For that reason, IETF Netconf Working Group has an ongoing effort to standardize network configuration management. The Netconf protocol helps to exchange configuration information be...

متن کامل

Generating Skeleton Code for Netconf Modules from Smi Mib Module Definitions

Configuring network devices with the Simple Network Management Protocol (SNMP) has several drawbacks. Within the IETF, a new configuration protocol is being designed: NETCONF. NETCONF offers an XML based encoding and operations to install, to manipulate, and to delete configurations of network devices. Currently there are no standard data models for NETCONF comparable to those defined in SMI MI...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004